Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut

class BinaryTree: + abstract height() class Branch inherits BinaryTree: BinaryTree left T value BinaryTree right + initializer(BinaryTree left, T value, BinaryTree right): self.left = left self.value = value self.right = right + height(): return 1+max(self.left.height(), self.right.height) class Leaf inherits BinaryTree: + height(): return 0 Beispiel 4: Ein Binärbaum ohne Null-Referenzen Die vollständige Definition der Sprache [Mon14b] enthält noch einige weitere Konzepte, die in diesem Papier aus Platzmangel nicht beschrieben werden können. Dazu zählen eine nähere Beschreibung abstrakter Klassen, allgemeiner Mehrfachvererbung, von Modulen und Paketen. Darüber hinaus sind weitere Konzepte in der gegenwärtigen Fassung der Sprache noch nicht enthalten: lokale Typinferenz, Lambda-Funktionen, eingeschränkt generische Parameter und die explizite Verwendung von Mutability und Immutability. Solche zukünftigen Erweiterungen von Monty sind im Bericht [Mon14a] beschrieben. Auch die von David Watt in [Wat05] vorgeschlagene Sprache Monty (die nie implementiert wurde) hat sich syntaktisch an Python orientiert und dynamische Typisierung erlaubt. Der Schwerpunkt dieser Studie liegt in Überlegungen zur Unterscheidung von Klassen mit und ohne veränderlichen Attributen (mutable und immutable) und zur Varianz bei den Typparametern generischer Klassen. Syntaktisch und auch in Hinblick auf die Objektorientierung (Werte als Objekte, allgemeine Mehrfachvererbung) orientiert sich unser Monty aber eher an Python als an Java. 3 Die Implementierung eines Compilers für Monty Der Compiler für Monty wurde in Java implementiert. Damit wurde schon während der Arbeit an der Sprachdefinition begonnen. Im Folgenden soll ein Einblick in die Architektur und Funktionsweise des Compilers gegeben werden (vgl. Abbildung 2).